Using Coloured Petri Nets for integrated reliability and safety evaluations
نویسنده
چکیده
Integrated Deterministic and Probabilistic Dependability Analysis (IDPDA) is respectively required for safety properties verification and reliability & availability assessment of critical systems. This paper presents an approach towards IDPDA using Coloured Petri Nets (CPN). Contributions are related to: (a) hierarchical modelling guidelines that cover deterministic and probabilistic features of a physical system under control, (b) coupling MonteCarlo simulation with CPN model checking that requires a previous determinisation of the CPN stochastic model. Our approach is illustrated using a toy case study.
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملIntegration of Prediction Uncertainty into a Human Operator Planning Model Realized with Coloured Petri Nets
This contribution integrates uncertainty in human performance models based on Coloured Petri Nets to predict human performance more realistically. As decisions often have to be made under uncertainty and existing models of human cognitive performance use ifthen rules, the arising questions are about the combination of uncertainty with these rules. Uncertainty is present, if the environment is n...
متن کاملOperational Planning using Web-Based Interfaces to a Coloured Petri Net Simulator of Influence Nets
We present an environment for web-based simulation of influence nets to be used for operational planning. Previous work in this field has shown how influence nets, which are used for probabilistic modelling, can be extended with time and then translated into a coloured Petri net to do temporal evaluation of plans. Simulating the coloured Petri net model in a web environment makes it easy for a ...
متن کاملSafety Analysis Using Coloured Petri Nets - Software Engineering Conference, 1996. Proceedings., 1996 Asia-Pacific
I n this paper, we propose a safety analysis method using coloured Petri nets (CPN). Our method employs a backward approach where a hazard is assumed to have occurred and backward simulation from the hazard is performed in order to determine i f and how the hazard might occur. Using CPN, we define a hazard as a set of markings and perform backward simulation by generating a reachability graph b...
متن کامل